/* SPDX-License-Identifier: GPL-2.0-only */
#ifndef __ASM_KVM_MMU_H_
#define __ASM_KVM_MMU_H_

#endif
